Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 1 of 1 for:
formal methods
1
software specification
1 ?
 21,213,375 websites (safe search)

  1. Axiomatic Language Home Page

    A minimal, pure specification logic programming language with meta-language capability.
    LISP1
    Prolog1
    functional programming1
    formal methods1
    logic programming1
    meta-language1
    meta-programming1
    software specification1
    axiomatic language0
    higher-order logic0
    HiLog0

    www.axiomaticlanguage.org - 2009-02-07

software verification1 business7 computer security2 quality assurance2 design7 internet security2 computer5 software testing1 software7 hazard analysis1 consulting5 management5 quality4 application3 network security2 requirements2 specification2 performance4 radius31 technical3 project management3 thin-client1

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.